((X)
	(!A)
	(!A)
	(!A))

((Y)
	(!B)
	(!B))

((Y)
	(!B)
	(!B))

((X)
	(!A)
	(!A)
	(!A))